Proj: 1+1=2の証明(Lean 4)を理解する